Embedded software - PDFSEARCH.IO - Document Search Engine

Embedded software
Results: 3442

#	Item
591	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionApril 2015) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2015-04-24 14:10:02 Embedded Linux Smartphones Java platform Android Type system Apache Ant Java Software Computing Cross-platform software
592	Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion∗ Tristan Ravitch Galois, Inc Add to Reading List Source URL: galois.com Language: English - Date: 2015-03-18 18:24:44 Android devices Google Embedded Linux Android Mobile application development Microsoft App-V Flow network Nexus One Java Computing Software Smartphones
593	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionDecember 2013) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-12-13 10:11:27 Embedded Linux Cloud clients Android Apache Ant Application software JAR Software Computing Smartphones
594	SmartPad4i Solution Guide SystemObjects Corporation MarchABSTRACT Add to Reading List Source URL: www.systemobjects.fr Language: English - Date: 2014-03-11 12:18:00 Embedded Linux Scripting languages Java enterprise platform Mobile application development Python IBM RPG IBM System i Mobile operating system Opera Software Computing Smartphones
595	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
596	Embedded Linux Conference EuropeBridging the gap between hardware and software tracing  @c_bab 1 Add to Reading List Source URL: www.efficios.com Language: English - Date: 2013-11-07 11:14:53 Software Debuggers ARM architecture Beta software LTTng IEEE standards Tracing ARM Cortex-A9 MPCore Nexus Computing Computer architecture Debugging
597	NativeWrap: Ad Hoc Smartphone Application Creation for End Users Adwait Nadkarni NC State University Raleigh, North Carolina, USA Add to Reading List Source URL: www.enck.org Language: English Embedded Linux Cloud clients Portable software Google Chrome Mobile application development Android HTTP cookie Internet privacy PhoneGap Software Computing Smartphones
598	Beginning Android Application Development Add to Reading List Source URL: blogs.wrox.com Language: English - Date: 2013-05-01 18:40:31 Smartphones Free software Computing Motorola Droid Software Android Embedded Linux
599	DO-178B and McCabe IQ Table of Contents Executive Summary ___________________________________________________________ 3 Part 1: Introduction ___________________________________________________________ 4 Software Qualit Add to Reading List Source URL: www.mccabe.com Language: English - Date: 2014-02-25 09:52:58 Software testing Software metrics Avionics Embedded systems Pharmaceutical industry DO-178B Code coverage Cyclomatic complexity Software quality Software development Technology Computing
600	The EsyS-Particle Workflow ESyS-Particle, the Tools and how it all fits together Add to Reading List Source URL: wiki.geocomp.uq.edu.au Language: English - Date: 2013-05-27 20:56:51 VisIt Gmsh VTK MayaVi Workflow Maya Embedded Language Software Visualization ParaView

UPDATE